Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Management of psychogenic non-epileptic seizures: a multidisciplinary approach

The International League against Epilepsy (ILAE) proposed a diagnostic scheme for psychogenic non-epileptic seizure (PNES). The debate on ethical aspects of the diagnostic procedures is ongoing, the treatment is not standardized and management might differ according to age group. The objective was to reach an expert and stakeholder consensus on PNES management. A board comprising adult and child neurologists, neuropsychologists, psychiatrists, pharmacologists, experts in forensic medicine and bioethics as well as patients\u2019 representatives was formed. The board chose five main topics regarding PNES: diagnosis; ethical issues; psychiatric comorbidities; psychological treatment; and pharmacological treatment. After a systematic review of the literature, the board met in a consensus conference in Catanzaro (Italy). Further consultations using a model of Delphi panel were held. The global level of evidence for all topics was low. Even though most questions were formulated separately for children/adolescents and adults, no major age-related differences emerged. The board established that the approach to PNES diagnosis should comply with ILAE recommendations. Seizure induction was considered ethical, preferring the least invasive techniques. The board recommended looking carefully for mood disturbances, personality disorders and psychic trauma in persons with PNES and considering cognitive-behavioural therapy as a first-line psychological approach and pharmacological treatment to manage comorbid conditions, namely anxiety and depression. Psychogenic non-epileptic seizure management should be multidisciplinary. High-quality long-term studies are needed to standardize PNES management

Del espectáculo al negocio

Un periodista francés decía la prensa tiene tres misiones: informar, educar y entretener. Agregaba informar es comprometido, educar es aburrido y solo queda entretener. El opinaba, en realidad, sobre la prensa en general, a la que acusaba de formar parte de un poder y de convivir en armonía demasiado estrecha con los demás poderes, sin molestarlos más de lo debido